Leslie Lamport - PDFSEARCH.IO - Document Search Engine

Leslie Lamport
Results: 304

#	Item
61	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
62	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-04 22:46:44 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
63	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory
64	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2007-02-12 21:22:45 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
65	Constraints: A Uniform Approach to Aliasing and Typing Fred B. Schneider+ Cornell University Leslie Lamport * Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:13:38 Program logic Model theory Hoare logic Function Universal quantification Aliasing Interpretation Propositional calculus Independence Mathematical logic Mathematics Logic
66	Another Position Paper on "Fairness" Leslie Lamport Digital Equipment Corporation Systems Research Center 130 Lytton Avenue Palo Alto, California 94301 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-16 14:14:52
67	Standard Letter Document Class for LATEX version 2e Leslie Lamport and Frank Mittelbach and Rainer Schöpf May 6, 2014 Contents Add to Reading List Source URL: www.tug.org Language: English - Date: 2014-05-09 18:39:48 Technical communication Digital typography Man page Unix Stack Rm AS/400 Control Language TeX Computing Software Scripting languages
68	8 TUGboat, Volume[removed]), No. 1 Document Production: Visual or Logical? Leslie Lamport Add to Reading List Source URL: www.tug.org Language: English - Date: 2011-10-16 20:47:02 Markup languages Disk formatting OS/2 Structured document Microsoft Word Diff XSL Formatting Objects Computing Software System software
69	The graphpap package∗ Leslie Lamport[removed] \graphpaper[hN i](hX,Y i)(hDX,DY i) Makes a grid with left-hand corner at (hX,Y i), extending (hDX,DY i) units in the X and Y directions, where the lines are N units apar Add to Reading List Source URL: ctan.math.utah.edu Language: English - Date: 2014-10-15 10:30:12 Grid Design Visual arts Singles Relax Grid plan
70	The graphpap package∗ Leslie Lamport[removed] \graphpaper[hN i](hX,Y i)(hDX,DY i) Makes a grid with left-hand corner at (hX,Y i), extending (hDX,DY i) units in the X and Y directions, where the lines are N units apar Add to Reading List Source URL: download.nus.edu.sg Language: English - Date: 2014-10-15 10:30:12 Grid Design Visual arts Singles Relax Grid plan

UPDATE